int XUINTN_tests();
